normal conjunctive form

标准的逻辑乘法形式

计算机



双语例句

  1. With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
    讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
  2. Proceeding with both-branch proposition, the paper provides the characteristics of both-branch fuzzy logic and both-branch fuzzy logic expressions, Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.
    从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。